1

The (algebraic) congruence of two programming language definitions

Year:
1990
Language:
english
File:
PDF, 1.54 MB
english, 1990
4

Type theory and projections for static analysis

Year:
1995
Language:
english
File:
PDF, 926 KB
english, 1995
27

A Parameterization of Light Trapping in Wafer-Based Solar Cells

Year:
2015
Language:
english
File:
PDF, 590 KB
english, 2015
28

Constructed product result analysis for Haskell

Year:
2004
Language:
english
File:
PDF, 221 KB
english, 2004